Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 9.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 004143 | Alain Giorgetti [France] ; Julien Groslambert [France] ; Jacques Julliand [France] ; Olga Kouchnarenko [France] | Verification of class liveness properties with Java modeling language |
| 004A06 | Alain Giorgetti [France] ; Julien Groslambert [France] | Un programme annoté en vaut deux |
| 005170 | Alain Giorgetti [France] ; Julien Groslambert [France] | JAG : Génération d'annotations JML pour vérifier des propriétés temporelles |
| 005175 | Alain Giorgetti [France] ; Julien Groslambert [France] | JAG: JML Annotation Generation for Verifying Temporal Properties |
| 005229 | Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Julien Groslambert [France] ; Jacques Julliand [France] | Safety Property Driven Test Generation from {JML} Specifications |
| 005674 | Alain Giorgetti [France] ; Julien Groslambert [France] | JAG : Génération d'annotations JML pour vérifier des propriétés temporelles |
| 005707 | Julien Groslambert [France] ; Jacques Julliand [France] ; Olga Kouchnarenko [France] | {JML}-based Verification of Liveness Properties on a Class in isolation |
| 005A59 | Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Julien Groslambert [France] | Checking JML Specifications with B Machines |
| 006E50 | Françoise Bellegarde [France] ; Julien Groslambert [France] ; Marieke Huisman [France] ; Jacques Julliand [France] ; Olga Kouchnarenko [France] | Verification of Liveness Properties with JML |
| This area was generated with Dilib version V0.6.33. |  |